package edu.pku.sei.autounit.annotation;

import java.lang.annotation.ElementType;
import java.lang.annotation.Retention;
import java.lang.annotation.RetentionPolicy;
import java.lang.annotation.Target;

import edu.pku.sei.autounit.tester.MethodGenerator;
import edu.pku.sei.autounit.tester.SimpleMethodGenerator;

@Retention(RetentionPolicy.RUNTIME)
@Target(ElementType.METHOD)
public @interface AutoUnitMethod {
	Class<? extends MethodGenerator> value() default SimpleMethodGenerator.class;
}
